-
1 язык математики
Большой англо-русский и русско-английский словарь > язык математики
-
2 mathematical language
Большой англо-русский и русско-английский словарь > mathematical language
-
3 mathematical language
-
4 mathematical language
English-Russian scientific dictionary > mathematical language
-
5 mathematical language
1) Техника: язык математики2) Математика: математический язык -
6 mathematical terms
Техника: язык математики -
7 Logo
ЯВУ, предложен в 1968 г. профессором математики и педагогики Сеймуром Пейпертом (Seymour Papert) и его коллегами (W. Feurzeig, М. Bloom, R. Grant и С. Solomon) из Массачусетского технологического института (МТИ). Название происходит от греческого logos - слово. Реализован на большинстве ПК и широко используется в обученииАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Logo
-
8 logo
ЯВУ, предложен в 1968 г. профессором математики и педагогики Сеймуром Пейпертом (Seymour Papert) и его коллегами (W. Feurzeig, М. Bloom, R. Grant и С. Solomon) из Массачусетского технологического института (МТИ). Название происходит от греческого logos - слово. Реализован на большинстве ПК и широко используется в обученииАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logo
-
9 term
1. [tɜ:m] n1. 1) период, срок; время; продолжительностьthe Labour Party tried to achieve this during its various terms of office - лейбористская партия пыталась добиться этого в периоды своего пребывания у власти
for (the) term of (one's) life - на всю жизнь, пожизненно
2) срок тюремного заключения3) срок квартальных платежей2. 1) семестр, четвертьLady day /spring/ term - весенний семестр ( с 25 марта по 24 июня)
midsummer /summer/ term - летний семестр ( с 24 июня по 29 сентября)
Michaelmas /autumn/ term - осенний семестр ( с 29 сентября по 25 декабря)
Christmas /winter/ term - зимний семестр ( с 25 декабря по 25 марта)
in term (time), during term - в течение /в ходе/ семестра
to keep terms - заниматься, посещать занятия [ср. тж. 4]
2) триместрautumn [winter, spring] term - осенний [зимний, весенний] триместр
3) сессия (судебная и т. п.)3. обыкн. pl1) условияterms of payment [of an agreement, of a treaty] - условия оплаты [соглашения, договора]
by the terms of article 50 - по условиям /в силу/ статьи 50
on /upon/ terms - а) на каких-л. условиях; on beneficial terms - на выгодных условиях; б) обсуждаемый; [ср. тж. 4]
to dictate terms (to smb.) - диктовать (кому-л.) условия
to have smth. on hire purchase terms - приобрести что-л. в кредит
to come to terms with smb., to make terms with smb. - а) прийти к соглашению /договориться/ с кем-л.; б) принять чьи-л. условия; пойти на уступки; примириться с кем-л.; to come to terms with the inevitable - примириться с неизбежным; a man with whom we have yet to come to terms - человек, к которому нам нужно привыкнуть
to bring smb. to terms - заставить кого-л. принять условия
2) условия оплатыwhat are your terms? - каковы ваши условия?, сколько вы берёте?
make /name/ your own terms - назовите вашу цену
4. обыкн. pl отношенияon terms - а) в дружеских отношениях; we are not on terms - мы не ладим (между собой); б) разг. на равных основаниях, на равной ноге; [ср. тж. 3, 1)]
on /upon/ good [bad, friendly] terms - в хороших [в плохих, в дружеских] отношениях
to be on visiting terms with smb. - быть в приятельских отношениях с кем-л.; бывать у кого-л., поддерживать знакомство с кем-л.
to keep terms with smb. - иметь /вести/ дела с кем-л.; поддерживать отношения с кем-л. [ср. тж. 2, 1)]
5. 1) терминtechnical [scientific] term - специальный [научный] термин
term for smth. - термин для обозначения чего-л.
contradiction in terms - противоречие в терминах; противоречивое утверждение
2) выражение; словоa term of reproach - форма выражения упрёка; слово со значением упрёка
6. pl выражения, язык, способ выражатьсяin set terms - определённо, ясно
to express smth. in poetic [mathematical] terms - выразить что-л. поэтически /на языке поэзии/ [математически /на языке математики/]
in broad terms the history of Shakespeare studies is familiar - в общем и целом /в общих чертах/ история изучения Шекспира известна
I told him in no uncertain terms - я сказал ему совершенно определённо /недвусмысленно/
how dare you address me in such terms? - как ты смеешь так со мной разговаривать?
7. уст. граница, пределto set /to put/ a term to smth. - положить конец /поставить предел/ чему-л.
8. уст.1) цель, конечная точка2) исходная, отправная точка; начало9. уст. назначенное время; срок10. юр.1) аренда на срок; срок выполнения обязательств2) назначенный день уплаты аренды (тж. term day)11. мед.1) нормальный период беременности; своевременное разрешение от бремениterm infant - ребёнок, родившийся в срок
to have reached (full) term - ≅ подошло время родов
2) pl уст. менструация12. мат., лог. член, элемент; термmajor [minor] term - предикат [субъект] суждения
to bring /to reduce/ to its lowest terms - (предельно) упростить
13. физ. энергетический уровень; терм14. архит. колонна со скульптурой, пьедестал с бюстом; терм♢
terms of reference - а) круг ведения, мандат; компетенция; б) способ мыслить; философия; (теоретическая) модель; their terms of reference differ from ours - их мир /их шкала ценностей/ отличается от нашего /от нашей/2. [tɜ:m] vin terms of - а) языком; in terms of approval - одобрительно; in terms of high praise - весьма похвально; б) в терминах; на языке, в переводе на язык; in terms of this theory - на языке /в терминах/ данной теории; to express one parameter in terms of another - выразить один параметр через другой; в) в смысле; с точки зрения; в отношении; в аспекте; в том, что касается; in terms of money - с корыстной точки зрения
выражать, называтьI term it sheer nonsense - по-моему, это чистый вздор
-
10 lesson
ˈlesn
1. сущ.
1) урок а) учебный час to give English lessons ≈ давать уроки английского языка, преподавать английский язык to take English lessons ≈ брать уроки английского языка б) учебное задание, учебная работа to study one's lessons ≈ учить уроки to learn a lesson ≈ учить урок в) опыт, знания, полученные во время обучения to teach smb. a lesson ≈ проучить кого-л., преподать урок кому-л. We can learn/draw important lesson from this disaster. ≈ Мы можем вынести важный урок из этой катастрофы.
2) нотация, нравоучение, наставление moral lesson ≈ урок, наставление to give/read smb. a lesson ≈ прочесть кому-л. нотацию;
проучить кого-л.
3) церк. отрывок из священного писания, читаемый во время службы Syn: lection
2. гл.
1) давать урок(и) ;
обучать If you will lesson me to find trouble is no trouble, I will thank you much for that. ≈ Если вы научите меня не считать неприятности неприятностями, я буду вам очень благодарен. Syn: instruct, teach
2) читать нотацию, поучать;
внушать что-л. Syn: inculcate урок, занятие - * book учебник - English * урок английского языка - revision * повторительный урок - * in mathematics урок математики - to give *s давать уроки - to take *s брать уроки урок, задание - to learn one's * учить урок - to do /to make, to prepare/ one's *s готовить уроки - to say /to recite/ one's * отвечать урок занятия - Tom is very fond of his *s занятия в школе очень нравятся Тому (музыкальное) (инструментальный) этюд урок, предостережение - to learn one's * получить хороший урок - to teach smb. a * проучить кого-л. - let his fate be a * to you пусть его судьба будет вам /послужит для вас/ уроком нотация, наставление, нагоняй - to give /to read/ smb. a * прочесть кому-л. нотацию, отчитать кого-л. (церковное) поучение, отрывок из Библии ( читается во время службы) учить, обучать - to * smb. into obedience научить кого-л. повиновению читать нотацию;
поучать;
отчитывать to give (или to read) (smb.) a ~ прочесть (кому-л.) нотацию;
проучить (кого-л.) ~ урок;
to give (to take) lessons in English давать (брать) уроки английского языка let this be a ~ to you пусть это послужит вам уроком -
11 formalization
формализация
Описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно четко оговоренного содержания). Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логические заключения, подсчеты и другие операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, которыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализованный язык обязательно требует объяснения (интерпретации).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > formalization
См. также в других словарях:
ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… … Философская энциклопедия
ЯЗЫК — 1) естественный язык, важнейшее средство человеческого общения. Язык неразрывно связан с мышлением; является социальным средством хранения и передачи информации, одним из средств управления человеческим поведением. Язык возник одновременно с воз … Большой Энциклопедический словарь
ЯЗЫК — ЯЗЫК, 1) естественный язык, важнейшее средство человеческого общения. Язык неразрывно связан с мышлением; является социальным средством хранения и передачи информации, одним из средств управления человеческим поведением. Реализуется и существует… … Современная энциклопедия
Язык — ЯЗЫК, 1) естественный язык, важнейшее средство человеческого общения. Язык неразрывно связан с мышлением; является социальным средством хранения и передачи информации, одним из средств управления человеческим поведением. Реализуется и существует… … Иллюстрированный энциклопедический словарь
ЯЗЫК (знаковая система) — ЯЗЫК, любая знаковая система, напр., язык математики, кино, язык жестов, искусственный язык (см. ИСКУССТВЕННЫЕ ЯЗЫКИ), язык программирования (см. ЯЗЫКИ ПРОГРАММИРОВАНИЯ) … Энциклопедический словарь
язык — а; м. 1. Орган в полости рта в виде мышечного выроста у позвоночных животных и человека, способствующий пережёвыванию и глотанию пищи, определяющий её вкусовые свойства. Розовый длинный я. собаки. Шершавый кошачий я. Облизать губы языком. Обжечь… … Энциклопедический словарь
Язык — (ц. слав. – народ) – это система фонетических, лексических и грамматических средств, посредством которых человеком выражаются мысли, чувства и волеизъявления. Язык – это средство общения людей. Философы склонный рассматривать «язык» шире, как… … Основы духовной культуры (энциклопедический словарь педагога)
ЯЗЫК КУЛЬТУРЫ — совокупность культурных объектов, обладающая внутренней структурой (комплексом устойчивых отношений, инвариантных при любых преобразованиях), явными (формализованными) или неявными правилами образования, осмысления и употребления ее… … Энциклопедия культурологии
Математики тоже шутят — Обложка четвёртого издания Автор: Сергей Федин … Википедия
ЯЗЫК-ОБЪЕКТ — ЯЗЫК ОБЪЕКТ понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого … Философская энциклопедия
ЯЗЫК ПРОГРАММИРОВАНИЯ — ЯЗЫК ПРОГРАММИРОВАНИЯ, система слов и правил, используемая для создания программ для КОМПЬЮТЕРА. Большинство компьютеров работает на основе двоичных языков (использующих два знака, 0 и 1), которые называют МАШИННЫМИ КОДАМИ. Для формулировки… … Научно-технический энциклопедический словарь